finiteness condition

有限性条件